ALGOL 68 - PDFSEARCH.IO - Document Search Engine

ALGOL 68
Results: 3011

#	Item
501	R Internals VersionUnder developmentR Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: cran.ism.ac.jp Language: English - Date: 2015-05-26 13:12:20 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
502	Curriculum vitae TARMO U USTALU , TTÜ K ÜBERNEETIKA I NSTITUUT / TTÜ ARVUTITEADUSE INSTITUUT Isikuandmed • sündinud 19. jaanTallinnas; Eesti kodanik, abielus, 3 last Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2015-02-09 19:57:12 Leibniz Computing Programming language theory ALGOL 68 Software engineering
503	ACM Word Template for SIGCOMM Submissions Add to Reading List Source URL: www.sigmobile.org Language: English - Date: 2014-12-21 11:22:14 Association for Computing Machinery Times New Roman Helvetica Typography Digital typography ALGOL 68
504	R Internals VersionUnder developmentR Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: cran.wustl.edu Language: English - Date: 2015-05-26 13:12:20 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
505	Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:15 Models of computation Model checking Petri net Lecture Notes in Computer Science ALGOL 68 Computer Aided Verification Formal methods Software engineering Computing Programming language theory
506	Predicting Properties of Specialized Programs PhD Proposal Karoline Malmkjær November 20, 1991 c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Computability theory Theoretical computer science Evaluation strategy Incremental computing Partial evaluation Eval ALGOL 68 Lambda calculus Type system Software engineering Computing Computer programming
507	Gforth for version 0.7.0, November 2, 2008 Neal Crook Anton Ertl David Kuehling Add to Reading List Source URL: ftp.complang.tuwien.ac.at Language: English - Date: 2008-11-02 14:29:02 Forth C programming language Factor Stack C standard library Gforth C Emacs ALGOL 68 Software Computing Procedural programming languages
508	R Internals VersionPatchedR Core Team This manual is for R, versionPatched). Add to Reading List Source URL: cran.hafro.is Language: English - Date: 2015-05-26 05:07:59 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
509	Memphis C/C++ A Language for Compiler Writers This document gives an overview on Memphis, a C/C++ extension for compiler writers and other programmers having to manipulate symbolic data. Memphis provides a new kind of ty Add to Reading List Source URL: memphis.compilertools.net Language: English - Date: 2006-03-28 08:30:43 Procedural programming languages Binary trees Tree traversal Pattern matching ALGOL 68 Lexical analysis Lex Tree Algebraic data type Computing Software engineering Computer programming
510	R Internals VersionUnder developmentR Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: cran.csie.ntu.edu.tw Language: English - Date: 2015-05-26 13:12:20 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering

UPDATE